TSTP Solution File: PUZ143^1 by SRASS---0.1